Globalizing Modeling LanguagesCOMBEMALE, Benoit; DEANTONI, Julien; BAUDRY, Benoit et al.Computer (Long Beach, CA). 2014, Vol 47, Num 6, pp 68-71, issn 0018-9162, 4 p.Article

JAG : JML annotation generation for verifying temporal propertiesGIORGETTI, Alain; GROSLAMBERT, Julien.Lecture notes in computer science. 2006, pp 373-376, issn 0302-9743, isbn 3-540-33093-3, 1Vol, 4 p.Conference Paper

Language-Modeling Kernel Based Approach for Information RetrievalYING XIE; RAGHAVAN, Vijay V.Journal of the American Society for Information Science and Technology (Print). 2007, Vol 58, Num 14, pp 2353-2365, issn 1532-2882, 13 p.Article

Resolving Test Ambiguity with IEEE 1641 Part 34 in a series of tutorials on instrumentation and measurementHULME, Ashley.IEEE instrumentation & measurement magazine. 2011, Vol 14, Num 5, pp 18-26, issn 1094-6969, 9 p.Article

A hybrid branch-and-cut algorithm for the one-machine scheduling problemSADYKOV, Ruslan.Lecture notes in computer science. 2004, pp 409-414, issn 0302-9743, isbn 3-540-21836-X, 6 p.Conference Paper

Extending profiles with stereotypes for composite conceptsQUARTEL, Dick; DIJKMAN, Remco; VAN SINDEREN, Marten et al.Lecture notes in computer science. 2005, pp 232-247, issn 0302-9743, isbn 3-540-29010-9, 1Vol, 16 p.Conference Paper

Comparing and transforming between data models via an intermediate hypergraph data modelBOYD, Michael; MCBRIEN, Peter.Journal on data semantics IV. Lecture notes in computer science. 2005, pp 69-109, issn 0302-9743, isbn 3-540-31001-0, 1Vol, 41 p.Book Chapter

UML4SPM : A UML2.0-based metamodel for software process modellingBENDRAOU, Reda; GERVAIS, Marie-Pierre; BLANC, Xavier et al.Lecture notes in computer science. 2005, pp 17-38, issn 0302-9743, isbn 3-540-29010-9, 1Vol, 22 p.Conference Paper

Mapping words into codewords on PPMADIEGO, Joaquin; DE LA FUENTE, Pablo.Lecture notes in computer science. 2006, pp 181-192, issn 0302-9743, isbn 3-540-45774-7, 1Vol, 12 p.Conference Paper

Workflow resource patterns : Identification, representation and tool supportRUSSELL, Nick; VAN DER AALST, Wil M. P; TER HOFSTEDE, Arthur H. M et al.Lecture notes in computer science. 2005, pp 216-232, issn 0302-9743, isbn 3-540-26095-1, 17 p.Conference Paper

Filtering TOBIAS combinatorial test suitesLEDRU, Yves; DU BOUSQUET, Lydie; MAURY, Olivier et al.Lecture notes in computer science. 2004, pp 281-294, issn 0302-9743, isbn 3-540-21305-8, 14 p.Conference Paper

Gestures for embodied agents with logic programmingRUNKAY, Zsofia; ZHISHENG HUANG; ELIENS, Anton et al.Lecture notes in computer science. 2004, pp 266-284, issn 0302-9743, isbn 3-540-21834-3, 19 p.Conference Paper

Assistance for supporting XP test practices in a distributed CSCW environmentLOKPOL, Ibrahim; BABRI, Michel; PADIOU, Gérard et al.Lecture notes in computer science. 2004, pp 262-265, issn 0302-9743, isbn 3-540-22137-9, 4 p.Conference Paper

Comparing agent-oriented methodologiesKHANH HOA DAM; WINIKOFF, Michael.Lecture notes in computer science. 2004, pp 78-93, issn 0302-9743, isbn 3-540-22127-1, 16 p.Conference Paper

Modelling politeness in natural language: GenerationPORAYSKA-PONWTA, Kaska; MELLISH, Chris.Lecture notes in computer science. 2004, pp 141-150, issn 0302-9743, isbn 3-540-22340-1, 10 p.Conference Paper

Specifying legal risk scenarios using the CORAS threat modelling language : Experiences and the way forwardVRAALSEN, Fredrik; LUND, Mass Soldal; MAHLER, Tobias et al.Lecture notes in computer science. 2005, pp 45-60, issn 0302-9743, isbn 3-540-26042-0, 16 p.Conference Paper

Modelling mobility with PEPA netsHILLSTON, Jane; RIBAUDO, Marina.Lecture notes in computer science. 2004, pp 513-522, issn 0302-9743, isbn 3-540-23526-4, 10 p.Conference Paper

Nominal games and full abstraction for the nu-calculusABRAMSKY, S; GHICA, D. R; MURAWSKI, A. S et al.Symposium on Logic in Computer Science. 2004, pp 150-159, isbn 0-7695-2192-4, 1Vol, 10 p.Conference Paper

An analysis on document length retrieval trends in language modeling smoothingLOSADA, David E; AZZOPARDI, Leif.Information retrieval (Boston). 2008, Vol 11, Num 2, pp 109-138, issn 1386-4564, 30 p.Article

On model integration and integration modelling introduction to the subject area integration modellingGROSSE-RHODE, Martin.Integration of software specification techniques for applications in engineering (Priority program SoftSpez of the German Research Foundation (DFG) : final report ). Lecture notes in computer science. 2004, pp 567-581, issn 0302-9743, isbn 3-540-23135-8, 15 p.Book Chapter

A Complete Superposition Calculus for Primal GrammarsBENSAID, Hicham; PELTIER, Nicolas.Journal of automated reasoning. 2014, Vol 53, Num 4, pp 317-350, issn 0168-7433, 34 p.Article

Generating SysML Views from an OPM Model: Design and EvaluationGROBSHTEIN, Yariv; DORI, Dov.Systems engineering (Print). 2011, Vol 14, Num 3, pp 327-340, issn 1098-1241, 14 p.Article

Further explorations in text alignment with handwritten documentsKORNFIELD, E. Micah; MANMATHA, R; ALLAN, James et al.International journal on document analysis and recognition (Print). 2007, Vol 10, Num 1, pp 39-52, issn 1433-2833, 14 p.Article

Architecture description languages for high-integrity real-time systemsRADJENOVIC, Alek; PAIGE, Richard.IEEE software. 2006, Vol 23, Num 2, issn 0740-7459, 4, 71-79 [10 p.]Article

The validity of VRML images as a stimulus for landscape assessmentLIM, En-Mi; HONJO, Tsuyoshi; UMEKI, Kiyoshi et al.Landscape and urban planning. 2006, Vol 77, Num 1-2, pp 80-93, issn 0169-2046, 14 p.Article